Returns the same Success if the predicate is not satisfied for the value. Otherwise returns a Failure.
The same Success if the predicate is not satisfied for the value. Otherwise returns a Failure.
Predicate function.